Extending conceptualisation modes for generalised Formal Concept Analysis
نویسندگان
چکیده
Formal Concept Analysis (FCA) is an exploratory data analysis technique for boolean relations based on lattice theory. Its main result is the existence of a dual order isomorphism between two set lattices induced by a binary relation between a set of objects and a set of attributes. Pairs of dually isomorphic sets of objects and attributes, called formal concepts, form a concept lattice, but actually model only a conjunctive mode of conceptualisation. In this paper we augment this formalism in two ways: first we extend FCA to consider different modes of conceptualisation by changing the basic dual isomorphism in a modal-logic motivated way. This creates the three new types of concepts and lattices of extended FCA, viz., the lattice of neighbourhood of objects, that of attributes and the lattice of unrelatedness. Second, we consider incidences with values in idempotent semirings—concretely the completed max-plus or schedule algebra Rmax,+—and focus on generalising FCA to try and replicate the modes of conceptualisation mentioned above. To provide a concrete example of the use of these techniques, we analyse the performance of multi-class classifiers by conceptually analysing their confusion matrices.
منابع مشابه
Specifying Mode Requirements of Embedded Systems
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital control. It does this by extending an existing formal notation supporting continuous, real-time behaviour with an explicit concept of modes. The resulting notation avoids the subtleties which would otherwise arise when s...
متن کاملUnique Factorization Theorem and Formal Concept Analysis
In the theory of generalised colourings of graphs, the Unique Factorization Theorem (UFT) for additive induced-hereditary properties of graphs provides an analogy of the well-known Fundamental Theorem of Arithmetics. The purpose of this paper is to present a new, less complicated, proof of this theorem that is based on Formal Concept Analysis. The method of the proof can be successfully applied...
متن کاملAgents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design
We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of practical roles and organisational coordination via negotiations. We propose a middle level of scale, located between interaction and the overall organisational structure, as the starting point for MAS design, with formal and practi...
متن کاملOntology-driven approach towards domain-specific system design
In practice, domain-specific modelling is intended for improved conceptualisation of a specific domain. Further, distinct parts of a large software system are modelled by different domain-specific modelling languages. This approach sometimes leads to the problem of poor semantics, interoperability and reusability of domain model concepts. However, ontology aids in common understanding of domain...
متن کاملExtending Formal Concept Analysis by Fuzzy Bags
This paper proposes an extension of Formal Concept Analysis (FCA) techniques in order to deal with representation of concepts in terms of fuzzy bags. Our extension was tested in a preliminary experimentation with encouraging results. In particular, the proposed technique was adopted as a tool for automatic quick-and-dirty ontology construction.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Sci.
دوره 181 شماره
صفحات -
تاریخ انتشار 2011